#include<stdio.h>
int main()
{
    char arr[7];
    int count = 0;
    int i = 0;
    while(1)
    {
        if((arr[i]=getchar())=='\n')
        {
            break;
        }
        i++;
        count++;
    }
    if(count==6)
    {
        for(i=0;i<6;i++)
        {
            if(i==4)
            {
                printf("-");
            }
            printf("%c",arr[i]);
        }
    }
    else
    {
        if((arr[0]=='2'&&arr[1]<'2')||arr[0]<'2')
        {
            printf("20");
        }
        else
        {
            printf("19");
        }
        for(i=0;i<4;i++)
        {
            if(i==2)
            {
                printf("-");
            }
            printf("%c",arr[i]);
        }
    }
    return 0;
}